-
1 теорема истинности
Большой англо-русский и русско-английский словарь > теорема истинности
-
2 теорема истинности
Mathematics: validity theoremУниверсальный русско-английский словарь > теорема истинности
-
3 теорема истинности
truth theorem, validity theorem -
4 теорема истинности
validity theorem мат.Русско-английский научно-технический словарь Масловского > теорема истинности
-
5 теорема истинности
Русско-английский синонимический словарь > теорема истинности
-
6 теорема
ж.- антиспиральная теорема
- асимптотическая теорема
- биномиальная теорема
- вспомогательная теорема
- граничная теорема
- динамическая теорема
- индивидуальная эргодическая теорема
- интегральная теорема Фурье
- интегральная теорема
- кинетическая теорема Онсагера
- классическая эргодическая теорема
- коммутационная теорема
- локальная теорема
- мультипликативная эргодическая теорема
- низкоэнергетическая теорема
- обобщённая оптическая теорема
- обобщённая теорема Ампера
- обратная теорема
- операторная теорема
- оптическая теорема
- осцилляционная теорема
- предельная теорема
- прямая теорема
- спектральная теорема
- статистическая эргодическая теорема
- структурная теорема
- теорема CPT
- теорема аддитивности
- теорема Адемолло - Гатто
- теорема Ампера
- теорема Бабине
- теорема Белла
- теорема Берестецкого
- теорема Бернулли
- теорема Бернштейна - Ньюкомба - Розенблюта
- теорема Бетти
- теорема Биркгофа
- теорема Блоха
- теорема Боголюбова - Парасюка
- теорема Боголюбова
- теорема Бора - Ван Левен
- теорема Борда - Карно
- теорема Борна - Оппенгеймера
- теорема Ван-Циттерта - Цернике
- теорема Вариньона
- теорема взаимности
- теорема Вигнера - Неймана
- теорема Вигнера - Эккарта
- теорема Вика
- теорема Винера - Хинчина
- теорема вириала
- теорема Гаусса - Остроградского
- теорема Гаусса
- теорема Гелл-Манна - Фейнмана
- теорема Гельмгольца о диффузии вихрей в вязкой жидкости
- теорема Гельмгольца о рассеянии энергии
- теорема Гельмгольца о сохранении вихревых линий
- теорема Гельмгольца о сохранении напряжения вихревой нити
- теорема Гельмгольца
- теорема Гиббса
- теорема Голдстоуна
- теорема Грина
- теорема Дарбу
- теорема Деслера - Паркера - Скопке
- теорема Дирихле
- теорема единственности
- теорема Жуковского
- теорема Журавского о сохранении вихревых линий
- теорема Журавского о сохранении циркуляции
- теорема Замолодчикова
- теорема Ирншоу
- теорема истинности
- теорема Каратеодори
- теорема Кармана для пограничного слоя
- теорема Карно
- теорема Кастильяно
- теорема Кельвина о минимальной энергии
- теорема Кельвина
- теорема Клапейрона
- теорема Клаузиуса
- теорема косинусов
- теорема Коши
- теорема Крамерса
- теорема Крокко
- теорема Кролля - Рудермана
- теорема Кутта - Жуковского
- теорема Лакса
- теорема Ламе
- теорема Ландау
- теорема Лапласа
- теорема Лармора
- теорема Латтинжера-Уорда
- теорема Левинсона
- теорема Лиувиля
- теорема Лихтенштейна
- теорема Людерса - Паули
- теорема Максвелла о взаимности перемещений
- теорема Малюса - Дюпена
- теорема Мермина - Вагнера
- теорема Нагаоки
- теорема Найквиста
- теорема Нернста
- теорема Нетер
- теорема о верхней оценке
- теорема о гидродинамической реакции
- теорема о монодромии
- теорема о неподвижной точке
- теорема о непрерывности
- теорема о реконструкции
- теорема о среднем
- теорема об индексе
- теорема об острие клина
- теорема об отсутствии духов
- теорема обратимости течения
- теорема Онсагера
- теорема Паули
- теорема площадей Мак-Колла и Хана
- теорема Пойнтинга
- теорема Померанчука
- теорема Пригожина
- теорема Пуанкаре
- теорема Пуассона
- теорема Райферти
- теорема Рее - Шлидера
- теорема реконструкции Уайтмена
- теорема Римана
- теорема Рисса
- теорема Рэлея
- теорема Синая
- теорема сложения вероятностей
- теорема сложения скоростей
- теорема стабильности равновесия плавающего тела
- теорема Стевина
- теорема Стокса
- теорема существования
- теорема сходимости
- теорема Тейлора - Праудмена
- теорема Томсона о производной циркуляции скорости
- теорема Томсона о сохранении вихревых линий
- теорема Томсона о сохранении циркуляции
- теорема Торричелли
- теорема умножения вероятностей
- теорема упорядочения
- теорема устойчивости
- теорема Фарри
- теорема Флоке
- теорема Фредгольма
- теорема Фруассара
- теорема Хаага
- теорема циркуляции Гельмгольца
- теорема Шеннона
- теорема Штейнера
- теорема эквивалентности
- теорема экстинкции
- теорема Эренфеста
- теорема Янга
- флуктуационно-диссипативная теорема
- центральная предельная теорема
- эргодическая теорема -
7 теорема
от греч. theōrēma, theōreō рассматриваю, обдумываю(Утверждение, в истинности которого убеждаются при помощи доказательства; при доказательстве опираются либо на аксиомы, либо на ранее доказанные утверждения; теоретическое утверждение, которое может быть логически доказано на основании аксиом или ранее доказанных теорем.)- теорема Болдрина-Монтуччио - теорема Гиббарда-Сатертвейта - теорема Коуза - теорема Куна-Такера - теорема магистрали - теорема Майерсона-Сатертвейта - теорема Мэя - народная теорема - теорема незамещаемости - теорема о - теорема о минимаксе - теорема о неподвижной точке - теорема об индексе - теорема об обратной функции - теорема об огибающей - теорема об осуществимости - теорема об уточнениях - теорема ожидаемой полезности - теорема Рыбчинского - теорема Столпера-Самуэльсона - теорема Фробениуса - теорема Хекшера-Олина - теорема Цермело - теорема эквивалентности ядра - теорема Эрроу о невозможности -
8 теорема об истинности
Большой англо-русский и русско-английский словарь > теорема об истинности
-
9 теорема об истинности
Mathematics: truth theoremУниверсальный русско-английский словарь > теорема об истинности
-
10 теорема об истинности
truth theorem мат.Русско-английский научно-технический словарь Масловского > теорема об истинности
-
11 truth theorem
-
12 validity theorem
-
13 validity theorem
теорема истинностиEnglish-Russian dictionary of technical terms > validity theorem
-
14 validity theorem
Большой англо-русский и русско-английский словарь > validity theorem
-
15 validity theorem
Математика: теорема истинности -
16 validity theorem
мат. -
17 truth theorem
Большой англо-русский и русско-английский словарь > truth theorem
-
18 truth theorem
Математика: теорема об истинности -
19 proposition
1) утверждение, высказывание, суждениепод высказыванием в обычной логике понимается утверждение или повествовательное предложение, относительно которого можно сказать, истинно оно или ложно (т. е. утверждение о истинности или ложности высказывания должно иметь смысл), при этом оно не может быть и истинным, и ложным одновременно. Высказывания называются простыми (simple proposition), если они не содержат связок, и сложными (compound proposition) в противном случае. Над высказываниями могут производиться логические операции.Syn:2) теорема3) предложение, план, проект4) глаг. предлагатьАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > proposition
-
20 truth theorem
См. также в других словарях:
ТЕОРЕМА — (от греч. theoreo – рассматриваю) научное положение. Философский энциклопедический словарь. 2010. ТЕОРЕМА (греч. ϑεώρημα, от ϑεωρέω – рассматриваю, исследу … Философская энциклопедия
ТЕОРЕМА — (греч. theorema, от theorein рассматривать). Предложение, долженствующее быть подтвержденным; истина, требующая доказательства, преимущественно в математике. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ТЕОРЕМА… … Словарь иностранных слов русского языка
Теорема Байеса — (или формула Байеса) одна из основных теорем теории вероятностей, которая позволяет определить вероятность того, что произошло какое либо событие (гипотеза) при наличии лишь косвенных тому подтверждений (данных), которые могут быть неточны … Википедия
ТЕОРЕМА О ДЕДУКЦИИ — теорема дедукции, – одно из важнейших содержательных утверждений математической логики, определяющее связь между логически правильными (аподиктическими) рассуждениями (или умозаключениями, или выводами) и законами (доказуемыми формулами) логики,… … Философская энциклопедия
ТЕОРЕМА БАЙЕСА — (Bayes theorem) теорема, устанавливающая вероятность наступления одного события, если произошло другое. Статистика Байеса касается изменения умозаключений по мере поступления новой информации, то есть гипотезы вырабатываются, проверяются и… … Большой толковый социологический словарь
ДЕДУКЦИИ ТЕОРЕМА — ДЕДУКЦИИ ТЕОРЕМА метатеоретическое утверждение о формальной логической теории (исчислении) Т, в соответствии с которым существование в исчислении Т вывода логического формулы В из называемых гипотезами формул Ai, Ai, ..., А„ (символически: Αι … Философская энциклопедия
ГЁДЕЛЯ ТЕОРЕМА О НЕПОЛНОТЕ — общее название двух теорем, установленных К. Гёделем [1]. Первая Г. т. о н. утверждает, что в любой непротиворечивой формальной системе, содержащей минимум арифметики ( знаки и обычные правила обращения с ними), найдется формально неразрешимое… … Математическая энциклопедия
Формула Байеса — Теорема Байеса одна из основных теорем элементарной теории вероятностей, которая определяет вероятность наступления события в условиях, когда на основе наблюдений известна лишь некоторая частичная информация о событиях. По формуле Байеса можно… … Википедия
Формулы Байеса — Теорема Байеса одна из основных теорем элементарной теории вероятностей, которая определяет вероятность наступления события в условиях, когда на основе наблюдений известна лишь некоторая частичная информация о событиях. По формуле Байеса можно… … Википедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия
МАТЕМАТИКА — наука, или группа наук, о познаваемых разумом многообразиях и структурах, специально – о математических множествах и величинах; напр., элементарная математика – наука о числовых величинах (арифметика) и величинах пространственных (геометрия) и о… … Философская энциклопедия